| 1. | The handling of faults in the originals with newmark ' s text type theory is analyzed
用纽马克的文本分类法来分析对不同原文失误的处理策略。 |
| 2. | Application of statistical idea and the triple - type theory in the scientific research of biomedicine
统计学思想与三型理论在生物医学科研中的应用 |
| 3. | Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。 |
| 4. | A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。 |
| 5. | Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。 |
| 6. | The text type theory , which is an important breakthrough and a significant complement of the traditional translation " equivalence principle " , is based on the divisions of text functions
摘要文本类型理论建立在以文本功能为划分标准的基础之上，是对传统翻译等值观的一个重要突破和重要补充。 |
| 7. | The theory makes a basic judge on the social type transformation process of present chinese society from traditional type to modern type , and becomes the foundation for the formation of new modernization type theory
这一研究形成了关于中国社会正处在由传统型社会向现代型社会转型过程的基本判断，构成了新型现代化理论的基础。 |
| 8. | The paper applies algebraic geometry , computational geometry , approximation theory to study the following problems : the nother type theory and the riemann - roch type theory of the piecewise algebraic curve ; the number of real intersection points of piecewise algebraic curves ; the real piecewise algebraic variety and the b - net resultant of polynomials
本文应用代数几何，计算几何，函数逼近论等学科的基本理论，分别就分片代数曲线的n ( ? ) ther型与riemann - roch型定理；分片代数曲线的实交点数；实分片代数簇以及多项式的b -网结式进行研究。 |
